For commutative algebra, algebraic geometry, and singularity theory, the SINGULAR computer algebra system provides a large variety of algorithms in the package kernel as well as shared libraries. 对于交换代数、代数几何和奇点理论,SINGULAR计算机代数系统在软件包内核以及共享库中提供了大量的算法。
Computations in Commutative Algebra ( CoCoA) is another free computer algebra system for working with very large integers, rational numbers, and polynomials. ComputationsinCommutativeAlgebra(CoCoA)是另一个免费计算机代数系统,用于处理超大型整数、有理数和多项式。
A decision method of the completion of a finite commutative special Thue system is given. 给出了判定可交换特殊Thue系统完备化的方法。
A finite commutative special Thue system and its word problem are discussed. It is proved that a finite commutative special Thue system is a product of a finite group and a monoid; 讨论了有限可交换特殊图厄系统(∑∶r)及其字问题,证明了一个有限可交换特殊图厄系统(∑∶r)是一个有限群与一个自由幺半群的直积;
On Finite Commutative Thue System 有限可交换Thue系统
Furthermore, by imposing an equivalent relation on the ω-limit set, an interesting commutative diagram is obtained by means of natural projects and an adding machine of one-side symbolic system. 而且,在这ω-极限集上导入一个等价关系后,我们利用自然投影和单边符号系统中的加法器,得到了一张有趣的交换图。
The Research and Design of Commutative Tele-education System 互动式远程教育系统的研究与设计
The main results are: Each Commutative FI algebra can be embedded into direct product of a system of linearly ordered Commutative FI algebra s; 主要结果是:交换FI代数可同构嵌入一族全序交换FI代数的直积;
In this paper the construction of commutative algebras for a matrix is established according to its Jordan canonical matrix. From this the symmetry algebra of a bilinear system is derived and a way of finding the symmetry group for a nonlinear system is presented. 本文根据矩阵的Jordan标准形建立矩阵的交换代数的构造方法,在此基础上导出双线性系统的对称代数,并给出寻找一般非线性系统的对称群的一种途径。
With it foreign software of PKI can be researched and CA be designed to improve efficiency, commutative operation, security of the CA system. 研究国外PKI软件产品,对CA进行设计,可以提高CA系统的效率、互操作性以及安全性。
To a finite commutative, special Thue system(Σ: R),(Σ: R) is a finite generated 、 commutative group. 对于一个有限可交换的特殊thue系统(∑:r),证明了(∑:r)是有限生成交换群;